Device driver synthesis and verification
https://en.wikipedia.org/wiki/Device_driver_synthesis_and_verification